Models of computation

Results: 1716



#Item
951The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastian Maneth2,[removed]The University of Tokyo, [removed]

The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastian Maneth2,[removed]The University of Tokyo, [removed]

Add to Reading List

Source URL: www.kmonos.net

Language: English - Date: 2009-11-17 09:02:22
952Implementation and Indeterminacy Curtis Brown Department of Philosophy Trinity University One Trinity Place, San Antonio, TX 78212, USA [removed]

Implementation and Indeterminacy Curtis Brown Department of Philosophy Trinity University One Trinity Place, San Antonio, TX 78212, USA [removed]

Add to Reading List

Source URL: crpit.com

Language: English - Date: 2012-01-19 01:27:36
953The Complexity of Tree Transducer Output Languages FSTTCS 2008, Bengaluru Kazuhiro Inaba

The Complexity of Tree Transducer Output Languages FSTTCS 2008, Bengaluru Kazuhiro Inaba

Add to Reading List

Source URL: www.kmonos.net

Language: English - Date: 2009-06-23 09:15:01
954CHAPTER THREE PERCEPTION AND COMPUTATION In this chapter we indicate how the class of observers properly contains the class of Turing machines. We discuss the simulation of observers by Turing

CHAPTER THREE PERCEPTION AND COMPUTATION In this chapter we indicate how the class of observers properly contains the class of Turing machines. We discuss the simulation of observers by Turing

Add to Reading List

Source URL: www.cogsci.uci.edu

Language: English - Date: 2002-07-26 13:45:30
955Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states Fabio L. Traversa,1, 2, ∗ Chiara Ramella,2, † Fabrizio Bonani,2, ‡ and Massimiliano Di Ventra1, § arXiv:[removed]

Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states Fabio L. Traversa,1, 2, ∗ Chiara Ramella,2, † Fabrizio Bonani,2, ‡ and Massimiliano Di Ventra1, § arXiv:[removed]

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2014-12-03 20:27:51
956Reliability of Technical Systems Advanced Methods for Systems Modelling and Simulation I : Petri Nets Petri Nets - Overview  Introduction

Reliability of Technical Systems Advanced Methods for Systems Modelling and Simulation I : Petri Nets Petri Nets - Overview  Introduction

Add to Reading List

Source URL: www.lsa.ethz.ch

Language: English - Date: 2010-11-25 08:50:54
957¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow

¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2014-12-01 09:12:56
958Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp[removed]The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastia

Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp[removed]The Complexity of Tree Transducer Output Languages Kazuhiro Inaba1 and Sebastia

Add to Reading List

Source URL: www.kmonos.net

Language: English - Date: 2009-11-17 09:02:18
959A paradox related to the Turing Test Samuel A. Alexander∗ Department of Mathematics, the Ohio State University Published in The Reasoner vol. 5, issue 6, p. 90. I will describe a paradox which arises assuming it is pos

A paradox related to the Turing Test Samuel A. Alexander∗ Department of Mathematics, the Ohio State University Published in The Reasoner vol. 5, issue 6, p. 90. I will describe a paradox which arises assuming it is pos

Add to Reading List

Source URL: www.semitrivial.com

Language: English - Date: 2012-07-26 20:25:00
960ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24

ISSN[removed]Overload Journal of the ACCU C++ Special Interest Group Issue 24

Add to Reading List

Source URL: accu.org

Language: English - Date: 2010-10-21 16:24:02